Variables
x8::[1..5]
x9::[1..5]
x10::[1..5]
Constraints
x8<=x9
x8>=x10
x9>=x10
External Constraints
x8>x3
x9!=x7
